Short interspersed repetitive elements, or SINEs, are tRNA-derived retroposons that are dispersed throughout eukaryotic genomes and can be present in well over 104 total copies. The enormous volume of SINE amplifications per organism makes them important evolutionary agents for shaping the diversity of genomes, and the irreversible, independent nature of their insertion allows them to be used for diagnosing common ancestry among host taxa with extreme confidence. As such, they represent a powerful new tool for systematic biology that can be (...) strategically integrated with other conventional phylogenetic characters, most notably morphology and DNA sequences. This review covers the basic aspects of SINE evolution that are especially relevant to their use as systematic characters and describes the practical methods of characterizing SINEs for cladogram construction. It also discusses the limits of their systematic utility, clarifies some recently published misunderstandings, and illustrates the effective application of SINEs for vertebrate phylogenetics with results from selected case studies. BioEssays 22:148–160, 2000. ©2000 John Wiley & Sons, Inc. (shrink)

It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal logic S4; we (...) investigate the correspondence between the quantified versions of S4 (with and without the Barcan formula) and the classical predicate logic (with one-sorted variable). We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof. (shrink)

In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof–theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.

Alcohol use disorder is a burden to society creating social and health problems. Detection of AUD and its effects on the brain are difficult to assess. This problem is enhanced by the comorbid use of other substances such as nicotine that has been present in previous studies. Recent machine learning algorithms have raised the attention of researchers as a useful tool in studying and detecting AUD. This work uses AUD and controls samples free of any other substance use to assess (...) the performance of a set of commonly used machine learning classifiers detecting AUD from resting state functional network connectivity derived from independent component analysis. The cohort used included 51 alcohol dependent subjects and 51 control subjects. Despite alcohol, none of the 102 subjects reported use of nicotine, cannabis or any other dependence or habit formation substance. Classification features consisted of whole brain rsFNC estimates undergoing a feature selection process using a random forest approach. Features were then fed to 10 different machine learning classifiers to be evaluated based on their classification performance. A neural network classifier showed the highest performance with an area under the curve of 0.79. Other good performers with similar AUC scores were logistic regression, nearest neighbor, and support vector machine classifiers. The worst results were obtained with Gaussian process and quadratic discriminant analysis. The feature selection outcome pointed to functional connections between visual, sensorimotor, executive control, reward, and salience networks as the most relevant for classification. We conclude that AUD can be identified using machine learning classifiers in the absence of nicotine comorbidity. (shrink)

Psychopathy is a disorder characterized by severe and frequent moral violations in multiple domains of life. Numerous studies have shown psychopathy-related limbic brain abnormalities during moral processing; however, these studies only examined negatively valenced moral stimuli. Here, we aimed to replicate prior psychopathy research on negative moral judgments and to extend this work by examining psychopathy-related abnormalities in the processing of controversial moral stimuli and positive moral processing. Incarcerated adult males (N = 245) completed a functional magnetic resonance imaging protocol (...) on a mobile imaging system stationed at the prison. Psychopathy was assessed using the Hare Psychopathy Checklist–Revised (PCL-R). Participants were then shown words describing three types of moral stimuli: wrong (e.g., stealing), not wrong (e.g., charity), and controversial (e.g., euthanasia). Participants rated each stimulus as either wrong or not wrong. PCL-R total scores were correlated with not wrong behavioral responses to wrong moral stimuli, and were inversely related to hemodynamic activity in the anterior cingulate cortex in the contrast of wrong > not wrong. In the controversial > noncontroversial comparison, psychopathy was inversely associated with activity in the temporal parietal junction and dorsolateral prefrontal cortex. These results indicate that psychopathy-related abnormalities are observed during the processing of complex, negative, and positive moral stimuli. (shrink)

Rearrest has been predicted by hemodynamic activity in the anterior cingulate cortex (ACC) during error-processing (Aharoni et al., 2013). Here, we evaluate the predictive power after adding an additional imaging modality in a subsample of 45 incarcerated males from Aharoni et al. (2013). Event-related potentials (ERPs) and hemodynamic activity were collected during a Go/NoGo response inhibition task. Neural measures of error-processing were obtained from the ACC and two ERP components, the error-related negativity (ERN/Ne) and the error positivity (Pe). Measures from (...) the Pe and ACC differentiated individuals who were and were not subsequently rearrested. Cox regression, logistic regression, and support vector machine (SVM) neuroprediction models were calculated. Each of these models proved successful in predicting rearrest and SVM provided the strongest results. Multimodal neuroprediction SVM models with out of sample cross-validating accurately predicted rearrest (83.33%). Offenders with increased Pe amplitude and decreased ACC activation, suggesting abnormal error-processing, were at greatest risk of rearrest. -/- . (shrink)

The Eton Latin Grammar, For Use in the Higher Forms. By Francis Hay Rawlins, M.A., and William Ralph Inge. London: Murray, 1888. 6s.The Revised Latin Primer. By Benjamin Hall Kennedy, D.D. Longmans, 1888. 2s. 6d.The New Latin Primer. Edited by J. P. Postgate, M.A., and C. H. Vince, M.A. Cassell, 1888. 2s. 6d.The Shorter Latin Primer, by Dr. Kennedy. Longmans, 1888. 1s.

Kruskal proved that finite trees are well-quasi-ordered by hom(e)omorphic embeddability. Friedman observed that this statement is not provable in predicative analysis. Friedman also proposed (see in [Simpson]) some stronger variants of the Kruskal theorem dealing with finite labeled trees under home(e)omorphic embeddability with a certain gap-condition, where labels are arbitrary finite ordinals from a fixed initial segment of ω. The corresponding limit statement, expressing that for all initial segments of ω these labeled trees are well-quasi-ordered, is provable in Π 1 (...) 1 -CA, but not in the analogous theory Π 1 1 -CA 0 with induction restricted to sets. Schutte and Simpson proved that the one-dimensional case of Friedman's limit statement dealing with finite labeled intervals is not provable in Peano arithmetic. However, Friedman's gap-condition fails for finite trees labeled with transfinite ordinals. In [Gordeev 1] I proposed another gap-condition and proved the resulting one-dimensional modified statements for all (countable) transfinite ordinal-labels. The corresponding universal modified one-dimensional statement UM 1 is provable in (in fact, is equivalent to) the familiar theory ATR 0 whose proof-theoretic ordinal is Γ 0 . In [Gordeev 1] I also announced that, in the general case of arbitrarily-branching finite trees labeled with transfinite ordinals, in the proof-theoretic sense the hierarchy of the limit modified statements $\mathbf{M}_{ (which are denoted by LM λ in the present note) is as strong as the hierarchy of the familiar theories of iterated inductive definitions (more precisely, see [Gordeev 1, Concluding Remark 3]). In this note I present a "positive" proof of the full universal modified statement UM, together with a short proof of the crucial "reverse" results which is based on Okada's interpretation of the well-established ordinal notations of Buchholz corresponding to the theories of iterated inductive definitions. Formally the results are summarized in $\S5$ below. (shrink)

This essay comments on the articles by Loretta M. Kopelman and Anita Silvers. It extends their analyses and concludes that consistency and the total absence of conflict may be unavailable when one interprets and applies the Americans with Disabilities Act.

Jacob (history, New School for Social Research) proposes that the science of the 17th and 18th centuries was eventually accepted because it was made compatible with larger political and economic interests. A celebration of the recently concluded 33 volume edition of the Collected works of John Stuart Mill, produced over a period of nearly 30 years, the last 20 under the guiding genius (and hand) of general editor Robson. Following a tributary history of the project itself, essays cover Mill's career (...) as a thinker and as a bureaucrat and public servant, exploring the effects of the various milieu--domestic, political, administrative, religious, and cultural--in which he moved. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

Covers all the important theories from the period 1250-1400, including "maiores" as well as "minores," and issues in a discussion of Marsilius of Inghen (d. ...

Mishel Fuco not only influenced the consciousness of modern West, but changed the modus of thinking, the way of perception of many traditional notions, transformed the opinions about the reality, history, person. Philosopher’s principle research programme which attaches the entirety to his works is “archeology of knowledge” programme, the search of human knowledge’s original layers. Let us mark that all Fuco’s works in 1960s are devoted to main aim: to clear up the conditions of historical origin of different mental aims (...) and social institutions in the culture of the Modern Time. Though in the whole this common aim remained for Fuco invariable, but the level on which he realizes his research search is changing constantly and rather logically. Relations of power, and to be more exact,accumulations of power and knowledge, social and cognitive which define all the aggregate of specific possibilities of culture in each given historical period. More than that the philosopher offers the particular prospects of sight of modern society and precisely totality of power relations, its ubiquitous nature and specific productivity which produces itself in each moment in any point or rather in any attitude from one point to another. From Fuco’s point of view the power is everywhere and not because it involves everything but because it comes from everywhere. The power is productive in that degree in which it is not associated with one definite imperious instance but pierces all kinds of activity in society, putting on its indelible stamp, developing under definite angle and due to this factit causes products, produced by them. The power induces and at the same time determines the fact which appears as a result of its inducement. The thirst of supremacy, which surrounds the individual and is focused on it as on the center of its use of force, comes out as a defining sign. It should be noticed that Fuco’s conception of power is not reduced to the understanding it as anonymous impersonal net of relations, piercing all society. It is supplemented by power treatment,coming out in “designed” look of definite imperious structure or imperious institute. (shrink)

The paper intends to objectively review the ecological understanding of Upaniṣhadic ṛṣis. Since ecology is a modern notion, it is required to precisely place it within the Upaniṣhadic thought. For that purpose, a possible ontological structure of Upaniṣhadic philosophy is sorted in which the discussion of ecology becomes meaningful. Upaniṣhadic ṛṣis conceived ecology as a part of their metaphysics, that is, one which is assisted by the devatas. There is a dependent coexistence between Devatas, Humans and the world. This feature (...) of Upaniṣhadic philosophy should not be treated as a declaration for environmental conservation. It is rather seen as a theory of consumption and calibration from both sides. Although ecology is integrated into the Upaniṣhadic metaphysics, it is not one of the subject matters of Upaniṣhads. An understanding of ecology traceable from Upaniṣhads is supplementary to Upaniṣhadic theory of Devatas. Thus, the author concludes that the Upaniṣhadic ecology is metaphysical rather than natural. (shrink)

Tradicionalmente se ha entendido que la mejor teoría de la responsabilidad extracontractual es aquella que mejor explica los rasgos centrales de la práctica. En este sentido, los defensores de las teorías deontológicas, basadas en principios de justicia, han rechazado el poder explicativo del análisis económico del derecho. Han sostenido que no logra reconstruir la práctica dando sentido a sus conceptos centrales, ni al modo en que están relacionados. Por lo tanto, no puede explicar la pauta de inferencias que llevan a (...) un juicio de responsabilidad. En este trabajo me propongo mostrar que ambas teorías son capaces de explicar aspectos diferen- tes de la práctica. En contra de lo que se asume generalmente, el análisis económico del derecho y las teorías deontológicas no son teorías rivales, sino compatibles, puesto que tienen por objeto responder a preguntas distintas. (shrink)

carrington places race and racism at the center of his densely written analysis of science fiction, fantasy, utopia, and other forms of popular culture. He moves easily between a broad range of forms, which include memoirs, television series, comic books, novels, novelizations, fandom and fanzines, and short fiction and fiction circulated on the Internet. Popular culture helps us to construct notions of identity and race, and for carrington many constituent groups, notably fans, develop its key concepts and values.Speculative fiction is (...) for carrington a framework that links these various forms of popular culture. Here, SF is a genre different from literature, as it is situated closer to, and is more deeply... (shrink)